integration of cosec^2 x